$\forall$$w$:World, $e$, ${\it e'}$:E. FairFifo $\Rightarrow$ $e$ $<$ ${\it e'}$ $\Rightarrow$ time($e$)$<$time(${\it e'}$)